Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
761	Binary vs. Non-Binary Constraints Fahiem Bacchus Department of Computer Science University of Toronto Toronto, Canada [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:43:15 Computer programming Constraint satisfaction problem Local consistency Hidden transformation Constraint satisfaction Constraint graph Boolean satisfiability problem Hidden variable Backtracking Constraint programming Software engineering Theoretical computer science
762	doi:[removed]j.artint[removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-04-08 01:27:46 Constraint satisfaction Constraint graph Decomposition method Hidden transformation Constraint programming Computing Local consistency
763	NONLINEAR AND DYNAMIC OPTIMIZATION From Theory to Practice IC-32: Winter Semester[removed] Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2011-07-09 03:35:23 Nonlinear programming Convex optimization Karush–Kuhn–Tucker conditions Linear programming Optimal control Constraint Interior point method Quadratic programming Lagrange multiplier Mathematical optimization Mathematical analysis Numerical analysis
764	K¨ unstliche Intelligenz manuscript No. (will be inserted by the editor) What Language Do You Use To Create Your AI Programs and Why? Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Constraint programming Programming paradigms Lisp programming language Prolog Functional languages Lisp Logic programming Planner Oz Software engineering Computing Computer programming
765	The Satisability Constraint Gap Ian P. Gent Toby Walsh Department of AI Mechanized Reasoning Group University of Edinburgh IRST, Loc. Pante di Povo, Trento & Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 02:03:59 Mathematics Boolean algebra Boolean satisfiability problem Electronic design automation Local consistency Theoretical computer science Constraint programming Applied mathematics
766	Enable greater level of automation and intelligent decisioning to achieve flow-through provisioning Solution Brief IBM ILOG in Service Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2010-05-07 02:31:16 Data modeling Rule engines Constraint programming ILOG Telecommunications Business rule management system IBM WebSphere Provisioning IBM Computing Technology Electronics
767	Enhance process transparency, flexibility and audibility IBM SOFTWARE GROUP Solution Brief IBM ILOG business rules for Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2010-05-07 02:31:17 Artificial intelligence Management Business Enterprise application integration Constraint programming ILOG Business rule management system Service-oriented architecture IBM Rule engines Data modeling Computing
768	Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1007.4114v1 [cs.LO] 23 Jul 2010 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2010-12-17 06:32:10 Artificial intelligence Constraint logic programming Local consistency Constraint satisfaction problem Constraint satisfaction Structure Answer set programming Valuation Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
769	SJNW840-03-NO00007071.tex Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-05-15 20:34:29 Constraint satisfaction problem Constraint satisfaction Statistics Drive letter assignment Mathematical optimization Bayesian network Constraint programming Computing Constraint optimization
770	Rethink the management of your offers IBM SOFTWARE GROUP Solution Brief IBM ILOG promotions and Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2010-05-07 02:31:16 ILOG Marketing Electronic commerce Java enterprise platform Brands Rule engines IBM WebSphere Business rule management system IBM Business Computing Constraint programming

UPDATE